var searchData=
[
  ['graphs_5fdeg',['graphs_deg',['../CoveringAlgorithm_8h.html#a01bad7b1beb4964ae6563724e67d019d',1,'CoveringAlgorithm.h']]],
  ['graphs_5fsat',['graphs_sat',['../CoveringAlgorithm_8h.html#a7b131fb36ec93cc19fd43717017647df',1,'CoveringAlgorithm.h']]]
];
